1. Automated reasoning : essays in honor of Woody Bledsoe
پدیدآورنده : edited by Robert S. Boyer
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving,، Artificial intelligence
رده :
QA
76
.
9
.
A96
A92
1991